Merge pull request #1443 from jeenu-arm/sdei-fixes
authorDimitris Papastamos <[email protected]>
Fri, 22 Jun 2018 11:42:17 +0000 (12:42 +0100)
committerGitHub <[email protected]>
Fri, 22 Jun 2018 11:42:17 +0000 (12:42 +0100)
SDEI client EL determination fix


Trivial merge